using System;
using System.Collections;
using System.Collections.Generic;

using SmallStepSemanticCsharp;

namespace SmallStepSemanticCsharp
{
class Num:Exp{
    public Num(int val) {
        this.Val =val;
    }
    public override bool  reducible(){
        return false;
    }
    public  override Exp reduce(Dictionary<string, int> env){
        return new Num(this.Val);
    }
        public override string ToString()
        {
            return Val.ToString();
        }

    

}
}